/home/correa/workspace/pargo-instances/clique/dimacs/san200_0.7_2.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1396 rows, 1596 columns, and 7902 nonzeros.
Reduced MIP has 200 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (4.77 ticks)
Probing time = 0.00 sec. (1.46 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (4.81 ticks)
Probing time = 0.00 sec. (1.46 ticks)
Clique table members: 1398.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.03 sec. (21.10 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      200.0000      440     --- 
      0     0       18.0000    93        0.0000       18.0000      440     --- 
*     0+    0                           14.0000       18.0000      440   28.57%
      0     0       18.0000    70       14.0000      User: 18      440   28.57%
      0     0       18.0000    76       14.0000      Cuts: 53      558   28.57%
*     0+    0                           17.0000       18.0000      558    5.88%
      0     0       18.0000    50       17.0000      Cuts: 42      610    5.88%
      0     0       18.0000    64       17.0000      Cuts: 58      713    5.88%
      0     0       18.0000    56       17.0000      Cuts: 59      777    5.88%
      0     0       18.0000    64       17.0000      Cuts: 45      881    5.88%
      0     0       18.0000    77       17.0000      Cuts: 27      910    5.88%
      0     0       18.0000    54       17.0000      Cuts: 37      954    5.88%
      0     0       18.0000    78       17.0000      Cuts: 42     1082    5.88%
      0     0       18.0000    76       17.0000      User: 36     1123    5.88%
      0     2       18.0000    58       17.0000  Local Cut: 1     1123    5.88%                        0             0
Elapsed time = 6.50 sec. (3809.33 ticks, tree = 0.00 MB, solutions = 3)
      3     3       18.0000    76       17.0000       18.0000     1694    5.88%            x180 D      3      1      2
      7     7       18.0000    70       17.0000       18.0000     1854    5.88%            x139 D      7      6      6
      8     8       18.0000    80       17.0000       18.0000     2154    5.88%            x139 U      8      6      6
     13     7       18.0000    56       17.0000       18.0000     2897    5.88%             x13 N     13      5      5
     18     8       18.0000    68       17.0000       18.0000     3534    5.88%             x68 N     18     17      8
*    23     0      integral     0       18.0000       18.0000     4168    0.00%            x161 U     23     18      9

User cuts applied:  325

Root node processing (before b&c):
  Real time             =    6.42 sec. (3710.25 ticks)
Sequential b&c:
  Real time             =    1.43 sec. (1663.28 ticks)
                          ------------
Total (root+branch&cut) =    7.85 sec. (5373.53 ticks)
Solution status = Optimal
Solution value  = 18
Clique in initial model  = 1396
Clique separated  = 455
Rango separated  = 11
Rango con pesos separated  = 161
Número de nudos B&B  = 25
Número de llamadas a PL  = 12
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 5
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.01
Número de vértices para grafos chicos: 50
